Generating Test Cases from Uml Speciications

نویسنده

  • Aynur Abdurazik
چکیده

GENERATING TEST CASES FROM UML SPECIFICATIONS Aynur Abdurazik, M.S. George Mason University, 1999 Thesis Director: Dr. A. Je erson O utt Uni ed Modeling Language (UML) is a third generation modeling language in objectoriented software engineering. It provides constructs to specify, construct, visualize, and document artifacts of softwareintensive systems. This paper presents a technique that uses O utt's state-based speci cation test data generation model to generate test cases from UML statecharts. A tool TCGen has been developed to demonstrate this technique with speci cations written in Software Cost Reduction (SCR) method and Uni ed Modeling Language (UML). Experimental results from using this tool are presented.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Generating Test Sequences from UML Sequence Diagrams and State Diagrams

UML models offer a lot of information that should not be ignored in testing. By combining different UML components, different views of the program under test are used. The paper concentrates on a technique for generating test cases from a combination of UML sequence and state diagrams. The main information is extracted from sequence diagrams, which is complemented by initialization sequences fo...

متن کامل

Generating Test Data from Sofl Speciications

Software testing can only be formalized and quantiied when a solid basis for test generation can be deened. Tests are commonly generated from the source code, control ow graphs, design representations, and speciications/requirements. Formal speciications represent a signiicant opportunity for testing because they precisely describe what functions the software is supposed to provide in a form th...

متن کامل

Practical Application of Uml Activity Diagrams for the Generation of Test Cases

Software testing and debugging represents around one third of total effort in development projects. Different factors which have influence on poor practices of testing have been identified through specific surveys. Amongst several, one of the most important is the lack of efficient methods to exploit development models for generating test cases. This paper presents a new method for automaticall...

متن کامل

A Novel Approach to Generate Test Cases from UML Activity Diagrams

Model-based test case generation is gaining acceptance to the software practitioners. Advantages of this are the early detection of faults, reducing software development time etc. In recent times, researchers have considered different UML diagrams for generating test cases. Few work on the test case generation using activity diagrams is reported in literatures. However, the existing work consid...

متن کامل

Criteria for Generating Specification-Based Tests

This paper presents general criteria for generating test inputs from state-based speciications. Software testing can only be formalized and quantiied when a solid basis for test generation can be deened. Formal speciications of complex systems represent a signii-cant opportunity for testing because they precisely describe what functions the software is supposed to provide in a form that can eas...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1999